Timed Petri net models of cluster tools
نویسنده
چکیده
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated analyses of the models.
منابع مشابه
Timed Petri Net Models of Multi–robot Cluster Tools
A systematic approach to modeling the stationary behavior of cluster tools by timed Petri nets is presented. The performance of derived models is evaluated by structural methods (place invariants), without the exhaustive genearation of the state space. Multiple robots are introduced to reduce the limitations of “transport bound” tools. Simple examples are provided to illustrate the proposed app...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModeling and Performance Evaluation of Cluster Tools Using Petri Nets – Basic Models
A cluster tool is an integrated manufacturing system consisting of process, transport, and cassette modules, mechanically linked together, that is used in manufacturing of semiconductor chips. Because of high throughput requirements, cluster tools perform a number of activities concurrently. Petri nets are formal models developed specifically for representation of concurrent activities and for ...
متن کاملTimed Petri nets in modeling and analysis of cluster tools
Timed Petri nets are used as models of cluster tools representing the flow of wafers through the chambers of the tool as well as sequences of actions performed by the robotic transporter. Since the durations of all activities are also represented in the model, performance characteristics can be derived from the model for steady-state, as well as transient behaviors. The performance of single-bl...
متن کاملVerification of the correctness of Real Time systems specified with timed Petri nets
This paper tackles the problem of the verification of the correctness of Real Time systems. In our approach a Real Time system is modeled as a timed Petri net. We specify requirements using another type of timed Petri net and the observation function that maps transitions in one net into another. The paper introduces both timed Petri net models, defines partial and total correctness and present...
متن کامل